An Invitation to C-semigroups

An Invitation to C-Semigroups

Semigroups with an additional unary operation called a (right) closure are investigated. These “closure semigroups” may be viewed as (not necessarily regular) generalisations of inverse semigroups, and several powerful structural aspects of inverse semigroup theory are shown to extend naturally to some important classes of closure semigroups. These include representations as partial transformat...

An Invitation to Model Theory and C*-algebras

This survey is designed as an introduction to the study of C*-algebras from the perspective of model theory for metric structures. The intended readership consists of anyone interested in learning about this subject, and naturally includes both logicians and operator algebraists. Considering this, we will not assume in these notes any previous knowledge of model theory, nor any in-depth knowled...

Integers In C: An Open Invitation To Security Attacks?

We performed an empirical study to explore how closely well-known, open source C programs follow the safe C standards for integer behavior, with the goal of understanding how difficult it is to migrate legacy code to these stricter standards. We performed an automated analysis on fifty-two releases of seven C programs (6 million lines of preprocessed C code), as well as releases of Busybox and ...

An Invitation to Play

Parity games and their subclasses and variants pop up in various contexts: μ-calculus, tree automata, program verification [3, 1, 8]. Such games provide only binary information indicating the winning player. However, in classical games theory [12] the emphasis is rather on how much we win or lose. Can we incorporate the information about the profits and losses into parity games?

An Invitation to Topology